$\forall$$M$:MsgA, $k$:Knd, $x$:Id. $M$:$k$ may not read $x$ $\in$ $\mathbb{B}$